2641. Soft computing with industrial applications: recent trends in research and development; Proceedings of the World Automation Congress )WAC '96( Montpellier, France, May 28-30, 1996
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Soft Computing-- Congresses,، Expert systems )Computer science(-- Congresses,، Neural networks )Computer science(-- Congresses,، Fuzzy sets-- Congresses
رده :
T
59
.
5
.
T85
1996
v
.
5
2642. Software Composition
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرم‌افزار -- تولید -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
2643. Software Engineering and Formal Methods
پدیدآورنده : \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
2644. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
2645. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
2646. Software Technologies
پدیدآورنده : \ edited by Andreas Holzinger...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
2647. Software and data technologies :
پدیدآورنده : María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
2648. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
2649. Software engineering, business continuity, and education :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Data recovery (Computer science), Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
A84
2011
2650. Software technologies :
پدیدآورنده : Manuel Mazzara, Iulian Ober, Gwen Salaün (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Computer science.,Computer software.
رده :
QA76
.
758
2651. Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
پدیدآورنده : Stephan Diehl )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2269
2652. Software visualization :international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
پدیدآورنده : Stephan Diehl )ed.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
751
.
D34
2001
2653. Solving Software Challenges for Exascale
پدیدآورنده : \ Stefano Markidis , Erwin Laure (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer software -- Development -- Congresses.,Supercomputers -- Congresses,نرم‌افزار -- تولید -- کنگره ها
رده :
QA76
.
76
.
D47S62
2015
E-Book
,
2654. Some Current Advanced Researches on Information and Computer Science in Vietnam.
پدیدآورنده : \ Quang A Dang...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Information science -- Congresses,Computers -- Computer Literacy.,علوم کامپیوتر -- کنگره ها,اطلاع رسانی -- کنگره ها ,کامپیوترها -- سواد کامپیوتری
رده :
QA
75
.
5
.
S62
2015
E-Book
,
2655. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
2656. Spatial Information Theory
پدیدآورنده : \ [editde by] Sara Irina Fabrikant...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Geographic information systems -- Congresses.,Database management.,سیستم‌های اطلاعات جغرافیایی -- کنگره‌ها ,پایگاه‌‌های اطلاعاتی -- مدیریت
رده :
G
70
.
212
.
S6
2015
E-Book
,
2657. Speech and Computer
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Database management -- Congresses,Information storage and retrieval systems -- Congresses,علوم کامپیوتر -- کنگره‌ها,پایگاه‌‌های اطلاعاتی -- مدیریت -- کنگره‌ها,ذخیره و بازیابی اطلاعات -- کنگره‌ها
رده :
E-Book
,
2658. Speech and computer :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Natural language processing (Computer science) ; Congresses. ;
2659. Speech and computer :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Natural language processing (Computer science) ; Congresses. ;
2660. Speech and computer :
پدیدآورنده : Miloš Železný, Ivan Habernal, Andrey Ronzhin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Computer science, Congresses,Computer vision, Congresses,Database management, Congresses,Information storage and retrieval systems, Congresses,Optical pattern recognition, Congresses
رده :
QA75
.
5
.
I58
2013
